tautology definition in logic. There are any references about tautology definition in logic in here. you can look below.